Algebraic data type - PDFSEARCH.IO - Document Search Engine

Algebraic data type
Results: 119

#	Item
41	PDF Document Add to Reading List Source URL: fpt.wdfiles.com Language: English - Date: 2013-02-02 11:04:46 Computer programming Functional programming Memory management Category theory Type theory F-coalgebra Garbage collection Algebraic data type List Software engineering Computing Data types
42	PDF Document Add to Reading List Source URL: hitlabnz.org Language: English - Date: 2014-02-20 18:46:39 Computer programming Data types Type theory Method Canvas element Cross-platform software Constructor Tag Algebraic data type Computing Software engineering HTML
43	1 A modern eye on ML type inference Old techniques and recent developments Franc¸ois Pottier Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2005-09-20 09:57:28 Computing Type inference ML Type system Generalized algebraic data type Hindley–Milner Hindley Lambda calculus Programming language theory Type theory Software engineering
44	Draft for submission to HaskellDependently Typed Programming with Singletons Richard A. Eisenberg Stephanie Weirich Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2012-07-24 01:40:03 Programming language theory Data types Functional programming Functional languages Generalized algebraic data type Type class Generic programming Algebraic data type Kind Software engineering Type theory Computing
45	A modern eye on ML type inference – Old techniques and recent developments – Franc¸ois Pottier INRIA September 2005 Add to Reading List Source URL: cristal.inria.fr Language: English - Date: 2007-01-26 09:13:38 Computing Type inference Type system Lambda calculus Constraint programming Hindley–Milner Generalized algebraic data type Constraint satisfaction Standard ML Software engineering Programming language theory Type theory
46	Microsoft Word - omc-bootstrappingv14-final.doc Add to Reading List Source URL: www.ep.liu.se Language: English - Date: 2011-06-27 05:13:21 Procedural programming languages Functional languages Object-oriented programming Programming language implementation Cross-platform software Modelica Compiler GNU Compiler Collection Algebraic data type Software engineering Computing Computer programming
47	CIS 194: Homework 2 Due Wednesday, February 4 Be sure to write functions with exactly the specified name and type signature for each exercise (to help us test your code). You may create additional helper functions with w Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2015-04-22 09:29:17 Computing Mastermind Sequence container Code Algebraic data type Algorithm String Games Mathematics Data types
48	Under consideration for publication in J. Functional Programming 1 Finally Tagless, Partially Evaluated Tagless Staged Interpreters for Simpler Typed Languages Add to Reading List Source URL: okmij.org Language: English - Date: 2011-07-01 22:41:16 Type theory Data types Functional languages Functional programming Procedural programming languages Generalized algebraic data type Type system OCaml Type inference Software engineering Programming language theory Computing
49	CS109A Notes for LectureType Shorthands type ILL = int list list; type ILL = int list list Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2008-09-19 01:01:30 Computer programming Type theory Algebraic data type C++ classes Enumerated type ALGOL 68 Constructor Union Kind Software engineering Computing Data types
50	Typed Self-Representation Tillmann Rendel Klaus Ostermann Christian Hofer Add to Reading List Source URL: www.daimi.au.dk Language: English - Date: 2009-03-29 13:41:42 Programming language theory Type theory Fixed-point combinator Simply typed lambda calculus System F Typed lambda calculus Type system Generalized algebraic data type Entailment Theoretical computer science Software engineering Lambda calculus